finite-turn PDA

有穷转向下推自 动机